801. Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25
Author: / Gianfranco Rossi (auth.), Agostino Dovier, Enrico Pontelli (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
802. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
63
.
N67
1993
803. programs-as-Adapting proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
804. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
805. λ-Calculus and Computer Science Theory :
Author: edited by C. Böhm. B�ohm, C.,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
5
E358
1975
